Monthly Progress report for April 2012 The Tor Project, Inc. Contents 1 Research 1.1 Anonymous Communications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Source URL: archive.torproject.org

• Secure communication
• Cryptographic software
• Internet security
• Tor
• Internet protocols
• The Tor Project
• Inc
• Flash proxy
• The Guardian Project
• Firefox
• HTTPS

The GeoLink Modular Oceanography Ontology Adila Krisnadhi1,8 , Yingjie Hu2 , Krzysztof Janowicz2 , Pascal Hitzler1 , Robert Arko3 , Suzanne Carbotte3 , Cynthia Chandler4 , Michelle Cheatham1 , Douglas Fils5 , Timothy Fin

Source URL: geog.ucsb.edu

• Computing
• Ontology
• Information science
• Knowledge representation
• Information
• Semantic Web
• Technical communication
• Upper ontology
• Web Ontology Language
• Formal ontology
• BORO
• Software design pattern

ol_logo_frei_gewandhaus.indd

Source URL: www.dario.io

• Software
• Application software
• Communication design
• Adobe Systems
• Web design
• Behance
• DIN
• Adobe InDesign

Extended Sequential Reasoning for Data-Race-Free Programs

Source URL: www.hpl.hp.com

• Computing
• Software engineering
• Concurrency control
• Concurrency
• Java platform
• Concurrent computing
• Communication
• Synchronization
• U3
• Java memory model
• Vienna U-Bahn
• Java class file

Open Peer Review Essential Background With the advancement of information and communication technologies, science is entering a new epoch. The proliferation of online, open access data, software and article repositories

Source URL: www.openscholar.org.uk

Velotron Ergo Controller Utility Vergo will allow connection, or a bridge, between a Metabolic cart and Velotron. It emulates a Lode™ ergometer protocol so the metabolic cart software thinks it is communicating with a

Source URL: www.racermateinc.com

• Computer hardware
• Computing
• Out-of-band management
• Telecommunications equipment
• Computer buses
• Modems
• Null modem
• USB
• Serial port
• RS-232
• COM
• Serial communication

Noah Liebman! ❖ noahliebman.net! Education! Northwestern University — Evanston, IL! TECHNOLOGY & SOCIAL BEHAVIOR — PH.D.

Source URL: noahliebman.net

• Computing
• Software engineering
• Software
• Human communication
• Humancomputer interaction
• Cross-platform software
• Graphic design
• Usability
• User interface design
• JavaScript
• User interface
• Cascading Style Sheets

Fact-based Inter-Process Communication Primitives for Programming Distributed Systems Robbert van Renesse, Department of Computer Science Cornell University Category: Representation The following position paper describes

Source URL: www.cs.cornell.edu

• Concurrent computing
• Computing
• Software engineering
• Fault-tolerant computer systems
• Distributed computing
• Inter-process communication
• Message-oriented middleware
• Publishsubscribe pattern
• Paxos
• Consensus
• Communications protocol
• Distributed algorithm

V IS M ASHUP: Streamlining the Creation of Custom Visualization Applications ´ Emanuele Santos, Lauro Lins, James P. Ahrens, Juliana Freire, and Claudio T. Silva, Senior Member, IEEE

Source URL: vgc.poly.edu

• Software
• Computing
• Software design patterns
• Graphical user interfaces
• Workflow technology
• VisTrails
• Inter-process communication
• Mashup
• Pipeline
• Visualization
• VisIt
• Software widget

1 A Messy State of the Union: Taming the Composite State Machines of TLS Benjamin Beurdouche∗ , Karthikeyan Bhargavan∗ , Antoine Delignat-Lavaud∗ , Cedric Fournet† , Markulf Kohlweiss† , Alfredo Pironti∗ , P

Source URL: smacktls.com

• Computing
• Cryptography
• Internet
• Cryptographic protocols
• Internet protocols
• Cryptographic software
• Secure communication
• Transport Layer Security
• OpenSSL
• Comparison of TLS implementations
• Cipher suite
• WolfSSL